1. Algebraic Foundations of Systems Specification
پدیدآورنده: edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
2. Algebraic Methodology and Software Technology :
پدیدآورنده: edited by Charles Rattray, Savitri Maharaj, Carron Shankland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
3. Algebraic and Algorithmic Aspects of Differential and Integral Operators :
پدیدآورنده: edited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
L63
E358
2014
4. Automata, Languages and Programming :
پدیدآورنده: edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
5. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده: Puppis, Gabriele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
6. Automated Deduction - CADE-23 :
پدیدآورنده: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
7. Baltic Computer Science :
پدیدآورنده: by Janis Barzdins, Dines Bjorner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
8. Collegium Logicum.
پدیدآورنده: Kurt-Gödel-Gesellschaft
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
9. Compiler Generators :
پدیدآورنده: by Mads Tofte.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
C65
B963
1990
10. Computer Aided Verification :
پدیدآورنده: edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
11. Computer Aided Verification :
پدیدآورنده: edited by Gregor Bochmann, David Karl Probst.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
12. Computing in Horn Clause Theories
پدیدآورنده: by Peter Padawitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
B974
1988
13. Concurrency, Compositionality, and Correctnes
پدیدآورنده: / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Software engineering.,Computer software.,Logic design.
14. Constructive Methods in Computing Science :
پدیدآورنده: edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
15. Distributed programming : theory and practice
پدیدآورنده: / A. Udaya Shankar
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Computer science,Software engineering,Logic design
رده :
QA76
.
6
16. Formal Aspects of Component Software :
پدیدآورنده: edited by Corina S. Pasareanu, Gwen Salaün.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
17. Formal Engineering for Industrial Software Development :
پدیدآورنده: by Shaoying Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
18. Formal Methods in Programming and Their Applications :
پدیدآورنده: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
19. Fundamentals of Algebraic Specification 2 :
پدیدآورنده: by Hartmut Ehrig, Bernd Mahr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
L63
B943
1990
20. Graph Structures for Knowledge Representation and Reasoning
پدیدآورنده: edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Computer science,Computer software,Logic design,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques
